Algorithms for Complex Shapes with Certified Numerics and Topology A deterministic Bitstream Descartes Algorithm

ACS Algorithms for Complex Shapes with Certified Numerics and Topology Cross-benchmarks of univariate algebraic kernels

We summarize the results of the cross-benchmarks for two univariate algebraic kernels (AK) developed in ACS. The kernels, developed at INRIA and MPI, were tested on 6 types of univariate polynomials of various degrees and bitsizes. The methods included were: Sturm, Sleeve, CF, NCF, NCF2 for the INRIA kernel, and Descartes and Bitstream-Descartes for the MPI kernel. NCF, NCF2, Descartes and Bits...

ACS Algorithms for Complex Shapes with Certified Numerics and Topology Application of algebraic tools to CSG operations on curves and surfaces

ACS Algorithms for Complex Shapes with Certified Numerics and Topology Anisotropic mesh generation

Project co-funded by the European Commission within FP6 (2002–2006) under contract nr. IST-006413

ACS Algorithms for Complex Shapes with Certified Numerics and Topology Computation of the medial axis of smooth curves with topological guarantees

Project co-funded by the European Commission within FP6 (2002–2006) under contract nr. IST-006413

ACS Algorithms for Complex Shapes with Certified Numerics and Topology Comparison of algorithms for anisotropic meshing and adaptive refinement

In this report, we investigate different approaches for solving the — difficult— problem of anisotropic mesh generation in two dimensions. Among these methods, two seem particularly promising for the extension in three dimensions.